Trump deserves some credit for the wall.