Mueren "varios" terroristas de Estado Islámico en un ataque aéreo de EEUU sobre Libia