Закрытие лагерной смены в летнем профильном лагере «Девяточка»