Mars once held an ocean; today ice lurks beneath Jezero Crater and the polar caps. What NASA and ESA missions reveal about ancient water, astrobiology, and human colonies.