In general, DoD VI that are works of authorship prepared by U.S. Government employees as part of their official duties are not eligible for copyright protection in the United States; however
Many official publications are not protected by copyright, and the content/text may be freely reproduced. That said, if the cover, title page, etc. of the publication contain DoD trademarks, those marks must be removed prior to dissemination.
All you need to know:
Does this not mean they're breaking the copyright by including DoD names/imagery?