What is the Value of Bitcoin Held by the US Government? Will There be a Sale?