What military money did your state lose because of the wall?