Dayton Mayor Nan Whaley, a Democrat, announces run for Ohio governor