مسافرین زیر ۱۵ سالِ اربعین، واکسن سرخک تزریق کنند