MKP Capital Management, L.L.C. portfolio value