mayor—Jabatan kepala pemerintahan kota (pemimpin kota).