How the US government lost $1.7 billion in Bitcoin