"the U.S. has not yet reduced or delayed its payments to the budget, though due to the fall start of the U.S. fiscal year, payments usually come later in the year"