SEC’s Chief Enforcer Resigns: Is the Exit Crypto-Related?