I would think they could have a legit .gov url shortener. They're not much code and easy enough to run at scale.

I'd vote for u.gov.