Trademarks owned by King Street Capital Management, L.P.