France's entry into the war in Mali