Ok, so Trump gave them 13 years of enrichment that they wouldn't otherwise have had.

And those 13 years would have been plenty of time to extend or renegotiate that agreement.