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