Deep sea mining has been off limits thus far, both because it's awfully hard, and because governments haven't yet firmed up ...