Korean / Norwegian Workshop on Ocean Mining ;