Re: terraforming Mars. How about, crash an icy asteroid into it?
Comets might work best since you want the water more than the rock. You’d need a couple thousand (but if you can do one you can do a thousand) good idea.
Just one big one? Saturn is surrounded by icy asteroids I believe.
How about the show stopper that the ground is poison?