شهادت آیت‌الله سیدمصطفی خمینی ره در نجف.