День шахтёра — профессиональный праздник шахтеров.