Plumbing the ocean depths: a new source of power | IEEE Journals & Magazine | IEEE Xplore