Cash Option: What happens when a winning Kentucky Lottery ticket is redeemed