US Natural Gas Production, Exports of Natural Gas via LNG and Pipelines, All Soar to New Records in 2023, Price Collapses