A mayor is one kind of politician.