hvor høy var kong olav