Unmanned submarine Ran mapped Antarctica's Dotson Ice Shelf on 14 successful missions before vanishing on an extended expedition in 2022