General orders. Digest of War Department directives and Index to General orders, Bulletins, and numbered Circulars, War Department, Apr. 1942.