I think we have to be careful about killing foreign dignitaries and these operations should be done jointly between allies of other countries for enemies deemed a threat to society like Hitler was to the surrounding countries and abroad. But the short answer is "Yes."