Mudrick Capital Management, L.P.