A terraforming plan for Mars