Filecoin Safeguards Over 500 Terabytes of U.S. Government Data Through Democracy’s Library