The U.S. government is selling bitcoin and litecoin worth $377K via the General Services