n mayor (gloss|"general director" of a city's or other municipality's staff and chairman of the board of the municipality)