Holyday of Obligation, Feast of the Assumption