U.S. crude oil exports reached a record high in first half of 2023