An obscure UN agency okayed the first industrial sea floor mining project