Would Nuking Mars Really Help Terraform It?