text: What is the Gungjung museum and where is it? I couldn't find any information about it in the internet and can't remember seeing it at Deoksugung palace. It seems to be added by an import, so maybe it is in the wrong place?