Also, Coinbase has Coinbase Prime, their OTC exchange where institutions are making deals probably in hundreds of millions, if not billions. This amount coming from the US government might end up there. In which case, it won't be shaking the market much.
No information that how the US. Government sold bitcoins from Silk Road in the past.