Easy fix. Citgo is owned by the government of Venezuela. Trump should seize it!
Problem is, Citgo isn’t worth much. The commies tried to sell it for $10 billion and couldn’t even get counter offers. They issued about $3 billion in debt to upstream cash to the commies. Liquidation probably probably wouldn’t do much more than cover the bonds. It’s not like there’s a whole lot of goodwill to sell.