"Pedro Jacinto Marín y Arias (persIndias250)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved