"Jerónimo Gómez de Liñán de la Borda (persIndias1747)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved