Last time I checked the government runs the SEC. We all know the government can't run anything correctly. Of course official records show 0 short interest.
Last time I checked, FINRA compiled the short interest lists. FINRA is not a government agency.