U.S. crude oil exports continued to grow in the first half of 2019