Trump renames Strait of Hormuz to "Strait of Trump" by June 30? · Yes 1% — Polymarket odds