20150117 world.rest-of-world: Nine killed in terrorist attack in Mali