Why are there discussions about terraforming Mars? Wouldn’t it lose its atmosphere again due to lack of magnetosphere to protect it from solar wind? Wouldn’t Venus be a better terraforming target?