20150722 world.rest-of-world: Mali troops destroy jihadist camps near Ivory Coast border: Military