Did Osama bin Laden hit violate international law?