After President-elect Trump proposed renaming the Gulf of Mexico to “Gulf of America” on Tuesday, others have offered their alternative names.