A brief history of “sanctuary cities”