I have mixed feelings on this.
With Osama bin Laden, I was happy the Seals proceeded to execute a wounded bin Laden with shots to the head rather than take him alive.
On the other hand, it would have been better if they had poured gasoline on him and set him on fire.
I think throwing him from 100 floors up is more apropos.