former Democratic Mayor Paul Brush