Rekordhøy eksport fra Norge i oktober