U.S. becomes top LNG exporter in first half of 2022