Government works are not entitled to domestic copyright protection under US law and are in the public domain.