Das US-Militär hat einen ranghohen Extremisten in Syrien getötet. Er soll mit dem Anschlag auf drei Amerikaner in Verbindung gestanden haben.