US-geführte Militärkoalition tötete führenden Jihadisten in Syrien