English: When was Haedong Jegukgi created?
translation: 해동제국기는 언제 만들어졌나요?