[Rough Rock 017] coal mine construction lift