President Donald Trump says U.S. and Nigerian forces carried out a mission to kill a leader of the Islamic State group. The president announced the joint operation to take out Abu-Bilal al-Mainuki in a late-night social media post Friday that offered few details.