Ime portugalskega pomorščaka – »Bartolomeu Dias«