Św. Wawrzyniec, diakon, męczennik