Who was the first navigator who had sailed around the earth and proved that the shape of earth is round?