The Hard-Luck Texas Town That Bet on Bitcoinand Lost