If President Eisenhower decided he wanted to rename it the Gulf of America, the map masters would be like, “Well, in six months when our new edition comes out maybe we’ll give it a look.” ...