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

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.