. . . "David Koch likes to joke [15] that Koch Industries is the biggest company you???ve never heard of." .