20170602 world.rest-of-world: Manila casino gunman dead: Police