Assumption of the Blessed Virgin Mary, a Holy Day of Obligation