Back on Earth, leading-edge space-technology leaders, including Elon Musk, have proposed terraforming Mars, or recreating it in the Earth’s image, and Robert Zubrin, founder of the Mars Society ...