"Cristóbal Arnaldo de Isasi (persIndias3865)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved