Sungnyŏng-jŏn and Sungin-jŏn in Mansudae Park