Trump Admits Idea of Renaming Strait of Hormuz Was 'Just Fun'