Ritchie, S. A Brief History of 19th Century Deep Sea Sounding. IHR 2000, 1.