20170604 world.rest-of-world: Indonesia; Philippines front wider effort against militants