Peru. Cuerpo de Ingenieros de Minas.