What has the GPL got to do with anything?

The NSA is contracting VMware, a software developer, to provide them with a bespoke, secure system. As such, it is a government contract and closed source.

The IP and source will belong to the government, as they are paying for it