Will fewer than 150 ships transit the Strait of Hormuz between July 6-July 12? — Resolved: Yes won · Polymarket odds & results · Polynyx