The last time voters elected a Republican mayor: