BREAKING: President Trump asks if he should change the name of the Strait of Hormuz to the “Trump Strait.” https://t.co/a139cBbQ0o