Se duplica el número de combatientes del grupo Estado Islámico en Libia