The Assumption of Mary, Holy Day of Obligation