President Donald Trump has announced that United States and Nigerian forces jointly carried out a military operation that killed a top ISIS commander identified as Abu-Bilal al-Minuki, whom he described as the terrorist group’s second-in-command globally.