As the immigration debate is increasingly overtaken by the folks who want to build a "Game of Thrones" ice wall to keep out the wildlings, ironies abound. One is that quadrupling border security funding to $20 billion and doubling border patrol agents to 40,000—that's the deal GOP Senators struck Thursday—is the sort of public-works and public-employee spending binge that the tea party right would ordinarily denounce and President Obama would praise as stimulus.