20180721 world.middle-east: Israel; Hamas agree to restore calm in Gaza