"José Ignacio de San Miguel (persIndias423)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved