Solemnity of the Assumption: Holy day of obligation