20181212 world.europe: Gunman kills 3 people in French Christmas market; flees