Этот город до 1922 года назывался Порт-Петровск, затем был переименован в честь революционера Магомет-Али Дахадаева и носит это имя до сих пор. Как он называется?