, . . Activities of the Hydrographic Office of Japan (1958-1961). IHR 2018, 39.