Назовите украинский город с населением примерно 2,5 тысячи человек, который получил свое название в честь основавшего его польского короля по имени Стефан.