"Gregorio Francisco de Campos (persIndias1786)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved