U.S. petroleum product exports set record high in 2018