Malis Armee tötet 20 IS-Kämpfer