"Pedro Espejo Barranco (persIndias3853)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved