The military diver