"Pedro Rodríguez de Sea (persIndias183)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved