A Trump-Bernie brawl would benefit the nation