 With us are the news. I'm Keith Peters reporting. Jubilant GOP delegates cheered as they formally nominated Donald Trump to the Republican presidential ticket at their national convention in Milwaukee. Soon after, he announced Ohio Senate.