Holy Day of Obligation for All Catholics, The Solemnity of the Assumption of the Blessed Virgin Mary