Mars had oceans