"And Mike Carey, who heads the Ohio Coal Association industry group, says Ohio is a battleground not just for the presidency but also for the future of coal mining." . . . .