https://www.gentedelpuerto.com/2009/10/22/442-don-juan-gavala-y-laborde-ingeniero-de-minas/
442. Juan Gavala y Laborde. Ingeniero de Minas.