KOCH DAVID A portfolio value