Changes to the ceremony celebrating the anniversary of the Korean War Armistice