After 9/11, one of the counterterrorism tactics used by the U.S. military and our allies was to target the leaders of terrorist organizations such as Osama