Braulio Vigón Casquero (1849-1914), historiador.