US President Donald Trump said Abu Bilal al-Minuki, described as the world’s “most active terrorist,” was killed during a coordinated operation with Nigerian forces.