Do you mine stating which city this was in? I ask because I've a long-standing curiosity about which cities still maintain mayors' mansions (and governors' mansions). I know New York does, but I haven't run into it too many other places.
Confusingly enough, the "mayor's house" belonged to the city's first mayor, and is now a museum and event space. It has a proper name, but the locals all know it as the mayors house. It is not a residence set aside for the current mayor.
