U.S. average retail gasoline prices dipped ​below $4 a gallon for the first time since mid-April, as optimism grew that a preliminary deal between the U.S. and Iran would lead ‌to the reopening of the Strait of Hormuz, a critical passageway for global oil supplies.