Should Congress fund the wall to avoid a government shutdown?