It's worth noting that most if not all works created by the government are in the public domain. There are some exceptions but PD is the default.