20180716 world.rest-of-world: More than 10 civilians killed in Mali attack