O grupo Estado Islâmico executou 15 dos seus “agentes de segurança”, na sequência da morte de um líder, na quarta-feira, durante um bombardeamento na Síria