Mali kills IS commander blamed for US deaths