For those who missed it, it looks like the US government sold 10,000 Bitcoins