U.S. crude oil and energy product exports surged to an all-time high in the third week of June, making the country a net exporter of oil and products for the third time since November 2018. This change lends credence to American officials’ presumption that amid growing U.S.-Iran tensions in the Persian Gulf, Washington is less compelled to police oil transit routes in the region, especially the Strait of Hormuz, than…