Diamond Coal Company. In matter of Diamond Coal Company and United Mine Workers of America District No. 23, case no. R-1859, decided June 12, 1940; decision and direction of election.