Mars did not lose all of its water at once