Linguistic question on different names for the U.S.