Traders shorting would be "naked shorting". Try it, and see. MMs shorting is part of the market/algorithm process of market-making --- which has to be covered. This is NOT "naked shorting".