Treasury Runs Second Largest July Deficit of All Time