More on U.S. government and domain names