On October 3, National Foundation Day was marked by a ceremony at the Mausoleum of King Tangun in the DPRK.