20170611 world.middle-east: Iran kills mastermind behind Tehran attacks; arrests more