Trump wants to change the name of Gulf of Mexico to something more American