The government has designated May 15 as a national day to commemorate the birthday of King Sejong. The Ministry of Culture, Sports and Tourism said Tuesday that the government ...