Who wins the Republican nomination for U.S. Senate?