Where did Mars’ water go? Maybe into the planet’s interior