"Diego Nicolás del Puerto (persIndias2842)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved