is an ocean of mars water trapped in the planets crust sky telescope