If they discovered a new source of coal, as large, clean and easy to mine as their best ever existing coal seams, they'd be financially better off putting solar PV over the top of it than mining the coal seam. So that problem should solve itself if they let the market do its thing and don't tilt it to help out coal mine owners.