Hmmm... bombs against civilians.
Dead is dead. What difference does it make, or would you have the police go up and stab him with a knife?
Nothing sacred about killing a madman only with a gun. I wouldn’t care if they gassed him or talked him into jumping off the building.