Líderes do Estado Islâmico são mortos em bombardeio dos EUA na Síria