Norway stops deep-sea mining, for now

By