郑五锡，字山石，朝鲜人。