明代有郑士元这人吗

明代有郑士元这人，郑士元，又称郑士原，字好仁，台州路宁海县水车(今浙江省宁海县)人。 明初清官。