Has Mexico paid for the wall yet?