bethesda mining is a midsized coal mining company with mines located in ohio pennsylvania west v