Ohio Democrats switch parties to defeat Trump