Trump Says a Top ISIS Leader Was Killed in a U.S.-Nigerian Mission

President Trump announced the operation in a late-night post on Truth Social, his social media platform.