Diving manual. (U.S. GPO,, 1916)