Pentagon setter av en milliard dollar til Trumps grensemur