"Agustín José de Torres (persIndias416)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved