“President Donald Trump announced that a joint U.S.-Nigerian military operation killed the global second-in-command of the Islamic State.”