Strait of Hormuz traffic returns to normal by July 31? · Yes 5% — Polymarket odds