officers and crew of naval submarines.