20170725 world.middle-east: Israel to replace metal detectors in Jerusalem with smart surveillance