No. If you look back, governments and related agencies have always referred themselves to auctioning off these coins off-exchange. In no shape or form will these coins get ever dumped directly on the market by governments. It's basically like OTC, where entities interested in buying a decent number of coins do it at one fixed price, and again, off-exchange.