"José Miguel de la Peña (persIndias100)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved