a festival of the Roman church, observed on the twenty-second of July.