North Korea holds ceremony to mark end of Workers' Party congress