Donald Trump wins the Republican presidential primary in Texas