20180722 world.rest-of-world: 18 killed in Boko Haram attack in Chad: Military source