European discovery of the Gulf Stream dates (因为是事实)to the 1513 expedition of Juan Ponce deLeón, after which it became(已经发生了)widely used by Spanish ships sailing from the Caribbean to Spain. 4) The last paragraph of the int...