Wednesday's Morning Email: It's Official: Donald Trump Named GOP Nominee (POLITICS)
Even though 721 delegates voted for someone else.