Did the Killing of Osama Bin Laden Violate U.S. Law?