Да,и ещё -в описываемый Вами период(конец 42-начало 43гг)города Ставрополь -НЕ БЫЛО!
Историческая справка.
"В апреле 1935 года отмечалось 15-летие освобождения Ставрополья от белых. В ознаменование этого события Ставрополь 5 мая 1935 года был переименован в Ворошиловск.
26 мая 1937 года вышло правительственное постановление о перенесении центра Орджоникидзевского края из Пятигорска в Ворошиловск. Восстановление статуса краевого центра стало толчком к ускоренному развитию города.
С октября 1937 года по улицам стали курсировать первые такси.
С 1938 года начали работать городская автоматическая и междугородная телефонные станции.
По переписи 1939 года в городе насчитывалось 85 тысяч жителей.
Великая Отечественная война 1941-45 годов принесла немало испытаний и для жителей краевого центра. 3 августа 1942 года город был захвачен фашистами и находился под оккупацией до 21 января 1943 года.
12 января 1943 года Орджоникидзевский край был переименован в Ставропольский, а городу Ставрополю вернули исконное наименование. "
Т.е. уже в январе 43, и для СССР, он стал Ставрополем.
С уважением, Дмитрий.