Government greed no question about. They should do the taxpayers, including the langbords, a favor by going after money owed by corrupt corporations and other thieves.
I'm sure it will bring down the price some, but I bet those 10 coins are still worth $20-$50 million total.