"Diego Jiménez de Enciso (persIndias3522)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved