“coal miners”