You know what I think? It was likely paid for by Federal or State money, so perhaps their copyright was never legal in the first place. Not only that, since you are not profiting from it, the lawsuit would just end up with a cease and desist order.
But you do what you think is right.