Mali’de terör saldırısı: 9 asker öldü