Where exactly does the short seller buy $TRUMP ?