Congressman Buys Bitcoin Near All-Time Highs: How Much Has He Lost So Far?