Donald Trump was formally chosen as the Republican Party's presidential nominee Tuesday evening.