drnoble
I have changed the tagging of buildings to government in line with https://wiki.openstreetmap.org/wiki/Key:building#Civic.2FAmenity, and added access=yes/private plus names, moved the Korean name to the main relation, removed the duplicate tourism attraction, and fixed a few details