. ., “The Naming of the Nares and Puerto Rico Deeps”, IHR, no. 1, Jun. 2018.