I would nuke Mars with all the some 13k nukes we have. After all, what use are they? We won’t be able to practically terraform Mars assuming we want to for thousands of years. We don’t really have a reason to go there. Let’s have a fireworks show! Bonus if the nukes can produce some colorful display before the nuclear winter.