> 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.<p>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.