خانواده شهدای غیر ایرانی، تابعیت ایرانی دریافت می‌کنند