> As for what this means for human life ever establishing a foothold on the planet: not much. The water is probably far too deep for potential colonists to ever tap into.

Haven't they heard of The Boring Company? Colonists arriving on Starship can drill for the water and refill the oceans by 2029, or the next year at the latest. With a million people on Mars by 2044 and a genius inventor to sort the problems out, should be easy.

I think it's "in Mars", on the surface it's frozen stuff.