pnorman
I think town is appropriate given its size and significance. Being legally classified as a city doesn't imply a particular place tagging, and the administrative division is tagged already with https://www.openstreetmap.org/relation/2221052