Empire Mining Company. In matter of Empire Mining Company and United Mine Workers of America, District No. 23, affiliated with C. I. O. and Progressive Mine Workers of America, District No. 5, affiliated with A. F. of L. party to contract; in matter of [same] and United Mine Workers of America, District No. 23, affiliated with C. I. O., cases nos. C-1404 and R-1602; order permitting withdrawal of petition, Dec. 13, 1939.