no hitter in Texas baseball