del Río, profesor de la Escuela de Minas de México.