"Juan de Ribera (Puerto_Rico) (persIndias3651)", Werner Stangl (ed.), Compendio digital de Indias. Retrieved