The U.S. has officially renamed the Gulf of Mexico to the Gulf of America. The question, though, is whether this is important ...