بررسی نامگذاری بوستان ولایت به نام «رهبر شهید»