international law killing of osama bin laden