"Agustín Sáenz Vázquez (persIndias3266)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved