, . . Gallery of Portraits of Distinguished Hydrographers and Explorers. IHR 2018.