Who will succeed John Bencivengo as mayor of Hamilton?

Who will succeed John Bencivengo as mayor of Hamilton?