20180706 world.rest-of-world: Japan sarin attack cult leader; followers executed