I can’t say I’m thrilled. But the wall is getting built, regardless. It doesn’t matter. Because we’re doing other things beyond what we’re talking about here. So we’ll see what happens.In 2017 and 2018, Congress provided funds to build a total of 115 miles of new wall.Trump told the reporters at the White House:In fact, I noticed yesterday, when I got to [the February 11 rally in] El Paso, they had signs, “Finish the Wall,” instead of “Build the Wall.” Because we’re doing a lot of wall right now. Just started a big portion of the wall in the Rio Grande Valley, which is now the biggest area for people coming in. We’ve sealed up a lot of the areas where people come in.