The week in which Labor Day occurs is designated as “Ohio Coal Miners Week” in honor of the citizens of this state who have worked and continue to work in the coal mines of the state.