Juan Velarde: un historiador importante - de Diego, Emilio (Boletín de la Real Sociedad Geográfica, 2023)