"José Antonio García Mohedano (persIndias1231)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved