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