That was already public domain twice over—uncreative catalogues of data aren’t copyrightable in the United States (see Feist v. Rural), and works of the U.S. federal government aren’t copyrightable in the United States.