"Jacinto de Barrios Leal y Jáuregui (persIndias4256)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved