Hace millones de años un lago llenaba el enorme cráter Gale, de 154 kilómetros de diámetro.