Trump made the announcement of the joint operation to take out Abu-Bilal al-Mainuki in a late-night social media post Friday that offered few details.