It’s Mexican dollars so it doesn’t really matter. Not like US taxpayer are on the hook for it anyway