Senator Ted Cruz, a Republican from Texas, speaks during the Republican National Convention (RNC) in Cleveland, Ohio, U.S., on Wednesday, July 20, 2016. Donald Trump, a real-estate developer, TV personality, and political novice, was formally nominated as the 2016 Republican presidential candidate Tuesday night in Cleveland after his campaign and party officials quashed the remnants of a movement to block his ascension. Photographer: Daniel Acker/Bloomberg