Russia’s gas supply cuts in Europe could fuel more US coal-to-gas switching