Home Investing News Norway stops deep-sea mining, for now