Libia. España tendrá en el exterior más de 3.400 militares