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.