There could be a global ocean's worth of water on Mars. But it's out of reach, deep in the planet's crust.