[throwaway2037]

I was surprised when I read this part: <<The US is the world's biggest producer of natural gas>>

Then, I checked Google. Yep, you are right: https://www.worldometers.info/gas/gas-production-by-country/

In my mind, I was mixed up with world's largest exporters. Last I knew, it was a race between Qatar and Australia. But wrong again! It is Russia: https://en.wikipedia.org/wiki/List_of_countries_by_natural_g...