WASHINGTON, 16 may (Xinhua) -- El ejército de Estados Unidos dio muerte a un alto líder del grupo Estado Islámico (EI) en el este de Siria, informó hoy el secretario de Defensa estadounidense, Ash Carter.