Trump renaming the Persian Gulf would be a ‘distraction’