US Navy diving manual (Navy Department, 1963)