郑典荣

郑典荣，男，1904年出生，1943年10月牺牲。