Joint US-Nigeria operation killed a senior militant leader of IS

President Donald Trump said that a joint operation by U.S. and Nigerian forces killed a top leader of the Islamic State group in Nigeria.