Is the border wall considered infrastructure? **