20180709 world.middle-east: Saudi Arabia says militants and two others killed at checkpoint