The promised 10 billion dollar wall is going to be pretty short, it seems.