Lin, David, 1917-