Conversation so far:
What year was Zheng He born?
Zheng He was born Ma He to a Muslim family of Kunyang, Kunming, Yunnan, China.

Question: How big was his family?
Self-contained rewrite: How big was Zheng He's family?