Ohio Democrats sue over Ohio's new proposed June 2 primary date