Trump renames Strait of Hormuz to "Strait of Trump" by December 31? · Yes 4% (-6pp) — Polymarket odds