Corpus Christi gets lucky winning the Texas lotto