Ohio company wants to mine for coal under a state park