В России отмечают День шахтера.