"Juan Nepomuceno Batres (persIndias3224)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved