Licenses Contests the Jackpot Prize Claim of $83.5 Million by Texas Lottery Authority , and Administrator 2025 May 10