Het Amerikaanse federale begrotingstekort krimpt tot $145 miljard (voorheen $173 miljard)