В честь кого в 1923 году был переименован город Гатчина?

Сегодня суббота 23 декабря 2017 года и эфире Первого канала, как всегда игра «Кто хочет стать миллионером» с Дмитрием Дибровым. Всего 15 вопросов и 4 подсказки, чтобы игроки в студии попробовали заработать и забрать 3 миллиона рублей. Вопрос: В честь кого в 1923 году был переименован город Гатчина?

Варианты ответов:

1. Ленина
2. Будённого
3. Троцкого
4. Свердлова

Правильный ответ: C. Троцкого.