El ejército estadounidense anunció el viernes que mató a un alto dirigente del grupo yihadista Estado Islámico (EI) en un ataque en Siria, y que