Pentagon set av ein milliard dollar til grensemur