International Congress on the History of Oceanography (2nd 1972 Edinburgh)