Norway Orders End to Oil-Worker Standoff