The killing is not prohibited by the longstanding assassination prohibition in Executive Order 12333 because the action was a military action in the ongoing U.S. armed conflict with al-Qaeda and it is not prohibited to kill specific leaders of an opposing force.