All Saints' Day, Holyday of Obligation