Trump: Vize-Chef der IS-Miliz getötet

US-Präsident Donald Trump hat die Tötung eines hochrangigen Führers der Terrormiliz Islamischer Staat (IS) bekanntgegeben.