Strait of Hormuz traffic returns to normal by July 31? · Yes 9% (+4pp) — Polymarket odds