Pullman Company. Final settlement between director general of railroads and Pullman Company, Oct. —, 1921.