Deep-sea sounding : A brief account of the work done by the U.S.S. Enterprise in deep-sea sounding during 1883-1886