Wang Chi — biographical article in Eminent Chinese of the Ch'ing Period