 A lot of people were really, really happy. A lot of people very happy with the pick. It was like a big pep rally atmosphere all day long and right into the evening, culminating with that emotional, triumphant appearance of President Trump last night.