20170703 world.middle-east: Islamic State strikes back; 15 killed