Texas Buys Bitcoin Dip: $5M of the Allocated Budget of $10M