International Congress on the History of Oceanography (3rd 1980 Woods Hole, Mass.)