Rukum District — former district of Nepal