مدافعین حرم غیر ایرانی چگونه واکسینه می‌شوند؟