Mars did not lose all the water at once