mayor [pl. mayors]