who captained the first european ship to sail around the tip of africa