Mars is right next to the asteroid belt, where there are plenty of icy asteroids we can slow down and smack Mars with. Which we should be able to do starting in 20 years or so.
They don’t have to be giant world killer asteroids. But if they’re the size of a house, you’d have to dump thousands of them. Aiming for the…