Svátek sv. Vavřince, jáhna a mučedníka