Which is the government-operated lottery available throughout Texas, which is a legal form of gambling and operated by the Texas Lottery Commission?