Kind of surprising they didn’t have a bit of “padding” in their budget.
Perhaps he could offer some bonds for sale to the Chinese? They seem to have a insatiable lust for IOU’s.