Mayor of Star City — fictional public office in DC Comics publications