The money has been available to settle with us for awhile. The opposition that is recognised by the US that controls CITGO would have settled already but didn't want it used against them before the election. The delay until after the election gives them the a better chance to win despite what Madura does. Whether he steals the election again or not, I believe they will use the money that has been set aside and settle with KRY to put the other creditors in limbo. The us government will support it especially if the ad hoc government wins.
Citgo has the profit to pay us.