Um líder do grupo Estado Islâmico morreu em ataque dos EUA na Síria (fonte militar americana)