Some liberal voters want the Democratic Party to fight harder against President Donald Trump. For Ohio Democrats, it's complicated.