Sankt Olav domkirke, Oslo