Texas Senate Democratic primary turnout?