20170602 world.rest-of-world: Gunman on loose at casino in Manila; but nobody shot