Did 4,000 migrants choose Denver because it’s a “sanctuary city?”