On the renaming of the city of Vladikavkaz in Ordzhonikidze