People working in the coal mining industry know it’s been another tough year, with jobs lost and mines shutting down. Since 2014, Illinois has produced about two million fewer tons of coal and has lost about 1,600 jobs. But industry leaders in Marion on Wednesday say they’re not giving up, they’re fighting against the trend.