'mayor' is the name of a particular political office, responsible for the government of a city