"Antonio Gómez Polanco (persIndias1822)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved