20170602 world.rest-of-world: Dozens dead after gunman torches Philippine casino: Police