20170717 world.middle-east: Israel reopens Jerusalem holy site after deadly assault