. ., “The new ship ‘Explorer’ of the U.S. Coast and Geodetic Survey”, IHR, no. 1, May 2018.