To be fair, all I've seen in the media is (I paraphrase) '$8b is a fuckton of money. Mexico says it won't pay. How do we squeeze it out of them?', followed by some speculations about how it might be done and how it doesn't seem practical without serious repercussions.