If I were the judge l wouldNot action citco but take the cash flow from Americans buying gas and pay off the creditors. It would probably take 100 years to pay everyone off .
That way Venesula retains useless gas stations, the US remains a good guy not a thief and everyone gets something over time. Meanwhile the stock retains some value as the asset value goes up.
Just thinking outload ....