Trump: ISIS replacement leader also killed

US President says man who would have replaced al-Baghdadi as ISIS' leader has been killed.