米政府機関、9.45BTC(ビットコイン)を競売で売却