Mueren cuatro altos cargos de Estado Islámico en bombardeos de la coalición en Irak y Siria