La deuda nacional ha aumentado en 1 billón de dólares este año y @DavidSacks no podría usar nada de ese dinero para comprar algunas monedas?