Crude oil was the largest U.S. petroleum export in the first half of 2018