. . . . "Former government building in the United States" . . . .