The U.S. military carried out an operation that killed a senior Islamic State leader in northern Somalia, U.S. officials said on Thursday. The officials, speaking on the condition of anonymity, told reporters that Bilal al-Sudani, a U.S.-designated ISIS leader in Somalia, was killed in the operation along with about 10 of his associates.