"Ignacio Joaquín de San Miguel (persIndias281)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved