"José Eustaquio Vicentelo Toledo y Luca (persIndias3412)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved