International Congress on the History of Oceanography (5th 1993 La Jolla, San Diego, Calif.)