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