U.S. Navy diving manual. (Naval Education and Training Command,, 1973)