what have the water-related discoveries (made by spacecraft at mars) implied about its atmosphere in the distant past?