Notes on the Imperial Chinese mission to Corea, 1890;