"Juan Barba Vallecillo (persIndias3392)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved