20161222 world.us: Berlin attack prompts high security in US cities for holiday