The Big Short Investors Who Lost $9.4 Billion