"Diego José Navarro y García de Valladares (persIndias4044)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved