that vast ocean which separates Asia from America: it is called Pacific, from the moderate weather the first mariners who sailed in it met with between the tropics; and it was called south-sea, because the Spaniards crossed the isthmus of Darien from north to south, when they first discovered it: though it is properly the Western ocean, with regard to America.