Army put an end to Khartoum mutiny