Why would the US government sell #bitcoin for dollars if they can just make dollars whenever they want?