The ISA’s second option to make deep-sea mining benefit all of humanity involves channeling the leftover proceeds into a fund ...