coal mining in kentucky in the 1800 039 s