Still better than someone that sold 10k Bitcoin for a slice of pizza. I think they made their own choice and you know, there could be 1000 more reason why they sold. It's a government wallet and not an individual that will say they can make their own decision, it possible there was too much pressure and who ever is responsible for the private key can't say know if the political chamber directed them to sell. They didn't bought those Bitcoin, it was seized, so they know nothing about the pain of buying and holding.
Had it been the wallet is an individual wallet, such person cannot be so ignorance of holding, they have sold and it's now a good bye. As a government, they can genere 10x of that amount in days I think, let's focus on our own and hopefully we don't dump back to where we think they sold off or even lower because there are good days and there is also bad days in Bitcoin, dint forget that.