Mars did not lose all its water at once