The US Government officially posts its largest July budget deficit in history, at -$432 billion, due to an acceleration in federal spending. What happened to DOGE?