Would the sky of mars remain orange/red if the planet was terraformed or would the color change to blue or a different color altogether?