Did Mexico pay for the wall today?