I would be much more interested in domain names that will expire. If funding is stopped one would guess that domain registrars might start allowing some names to expire, which then anyone can try to catch.
I was more considering all the multitude of other domain names. Just like companies, government agencies and departments tend to have a lot of domains spread out on multiple registrars, tld's, and for many different reasons. It can be to cover misspellings, one-time projects, awareness campaign, and so on.