What is a better name for a child with the surname Zheng?

Possible name: Zheng Jile (Ji Le, meaning auspicious celebration, happiness.)

Zheng Jiren (Ji Ren: taken from "Ji Ren Tianxiang", meaning good person.)

Zheng Jiguang (吉光, the name of the mythical beast in ancient legends.)

Zheng Jixing (吉星, refers to the star that shows good omens, which can bring good luck.)

For reference.