The SEC and naked short selling