How the US gas supplies to Europe got to exceed Russia's for the 1st time in history? Free market?