“Satellite and vessel tracking data show that many ships attempting to leave the Persian Gulf during a brief reopening of the Strait of Hormuz turned around without completing their passage.”