Title: National Bituminous Coal Wage Agreement of 1947, effective July 1, 1947, to June 30, 1948, executed at Washington, D.C., July 8, 1947 [between the coal operators and associations signatory thereto and the International Union, United Mine Workers of America