Trump muses over renaming Gulf of Mexico ‘Gulf of America’