The White House planned to build the wall with $3.6 billion redirected from military construction projects.