In his continued efforts to address the number of undocumented immigrants in the country, President Trump took a harder line against cities and jurisdictions whose mayors have said they won't cooperate with his plans to enlist their police forces to help the federal government round up undocumented immigrants. The president said that he will cut federal funding to the police budgets of so-called sanctuary cities — like New York, Chicago, and Washington, D.C — which could cost them billions of dollars. (Ahilan Arulanantham, a human rights attorney, told us on the Code Switch podcast this week that some big legal...