red sky in the morning . . .