Should We Nuke Mars?