When did the last king of korea died