manager	shares	port %	label
Howard Marks - Oaktree Capital Management	7,500,000	0.32%		history
John Paulson - Paulson & Co.	0	<0.01%	Exit	history
King Street Capital Management	2,500,000	0.91%		history