Η εορτή του Οσιομάρτυρος Ευθυμίου και των συν αυτώ Μαρτυρησάντων στην Ι.Μ.Μ. Βατοπαιδίου