I guarantee you the short positions are "on the books" somewhere. All electronic trades are logged. Whether they are forced to cover is another story.