Pentagon setter av en milliard dollar til grensemur