20140715 world.rest-of-world: 18 dead after Filipino rebels attack tribesmen