Well, like so many third world countries, I doubt they pay it back.
And Ex-Im starts seizing Pemex assets here, and elsewhere. It’s not that complicated.