Market page: Democrats win Ohio governor?.