 AP News, I'm Ben Thomas. The Republican National Convention got right to business in Milwaukee. Eric Trump making this announcement during the roll call. On behalf of the 125 delegates in the unbelievable state of Florida, we hereby nominate every single one of them for the greatest president that's ever lived, and that's Donald J. Trump.