Will the US Government sell Bitcoin by December 31? | SimpleFunctions