“The U.S. federal deficit for July was 10% higher than the previous year.”