If the Sun was red, rather than yellow, how would the color of the sky be affected?