Thanks I knew there have been multiple names for that city due to Soviet fuckery and whatnot but wasn't sure. Like I knew it was originally Polish, then it was absorbed by the Soviets when they shoved everyone westward, and now it's Ukrainian but I wasn't quite sure.