If Astros win World Series, gambler will earn record payout