Gavi Bagtrup is running for mayor of Cincinnati