2020 Democrats face a choice: Fight Trump or ignore him?