Plus: Has the government already cashed out its Bitcoin?