Coal production has been declining in Colorado and across the United States. So what do we make of these mines, both of them named Elk. They both reported increased production in 2022.