Diving, or, An attempt to describe upon hydraulic and hydrostatic principles, a method of supplying the diver with air under water [electronic resource] / by Horatio Gates Hough