U.S. and Nigerian forces carried out a successful joint operation Friday that killed a senior leader of the Islamic State group in Nigeria, President Donald Trump announced. In a late-night social media post, Trump said Abu Bakr al-Mainuki, described as the second-in-command of the Islamic State globally, was killed during the mission in Nigeria, Africa’s most populous country. Trump stated that al-Mainuki had...