FBI already auctioned off 30k btc. They still have quite the wallet though. And it's quite ironic that btc is decentralized, yet one government has one of the biggest bags.
It's kind of funny since it acts as a leverage mechanism to governments favorably considering it
Since they acquired a stake of that pie from the drug dealers and are willing to resell them lol.