Domestic production of coal was stagnating even before the pandemic