David Koch is dead.