Abu-Bilal al-Minuki, second in command of ISIS globally, eliminated by US forces, says Trump