Wait, aren't we supposed to know how much bitcoin the United States owns by now?