Derelict coal mine