西方首次环地球航行，证明地球是圆的。这位航海家是（）。