Trump renames Strait of Hormuz to "Strait of Trump" by May 31? (3% odds) | Kelvon