Donald Trump formally nominated for President at RNC; Ingrid Andress’ performance of the National Anthem before Home Run Derby faces criticism.