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