Records of the War Department's Operations Division, 1942-1945