NO. 9 COAL MINE