The Democrats wrapped the first-ever virtual political convention this week and nominated Joe Biden for president. WSJ's Julie Bykowicz explains the main themes, and Mike Bender previews the Republicans' plans for next week.