20180707 world.middle-east: Iran executes eight over 2017 Islamic State attack on Tehran