I’m betting none was filed, That’s a matter between that person/persons and the SEC... Feel free to submit a complaint to them ;-)