Estados Unidos realizó seis "ataques aéreos de precisión" contra un campamento del grupo yihadista Estado Islámico (EI) en Libia, dejando 17 muertos, informó el comando estadounidense en África en un comunicado.