Is @michaelburry still alive on his short?