Ohio Chamber of Commerce. Committee on Ohio coal mining