U.S. is top exporter of liquified natural gas in first half of 2023, led by Gulf states