No, the darker blue. From the article:

“Further analysis concluded darker colors, among other factors, on the underside of the VC-25B aircraft might contribute to temperatures exceeding the current qualification limits of a small number of components,” a spokesperson said at the time.

A color that is literally technically worse for some plane components. Good job, asshole.