La notizia è stata riportata per la prima volta dall'emittente pubblica NRK e dall'agenzia di stampa NTB, citando fonti anonime.