US government has $5 billion worth of bitcoin – WSJ