If Alice takes a GPL program, modifies it, and sells it to Bob, nobody but Bob can demand Alice share the source. If Bob does nothing, nobody but Alice ever sees the source.
Bob is the Navy. Alice is the contractor.
Alternately, Bob is me and Alice is you.
Either way, the GPL allows it.