Looks like the SEC is aware of naked shorts and have been since before 2008 https://www.sec.gov/rules/final/2008/34-58774.pdf