IS-Anführer bei US-Einsatz in Syrien getötet