Who should be the Republican nominee for US Senate?