20170716 world.middle-east: Israel to reopen Jerusalem holy site after deadly assault