Even if it is, the first sale doctrine would likely apply and so it would not require the permission of the copyright owner.

Whether this is the case or not depends on whether or not the Navy is making copies, or just passing along copies they received from a contractor.