Más de 400 mineros se han formalizado en la región peruana de La Libertad