В Петродворцовом районе закрыт летний лагерь "Муравейник"