The settlement of the Koch lawsuit is mentioned on NPR’s Morning Edition