Humans know very little about the deep sea. That may not stop us from mining it.