20170926 world.middle-east: Palestinian gunman kills three Israelis at settlement: Police