"Juan de la Rocha Betancur (persIndias267)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved