Trump on Iran: We're thinking about renaming the Strait of Hormuz to the Trump Strait.