The U.S. military carried out an operation in January 2023 that killed a senior IS leader in northern Somalia.