“Democrats win voting lawsuit in Ohio, key to Trump map”