Trump Floats Renaming Strait of Hormuz After His Favorite President