Conversation so far:
Where was Zheng He born?
Zheng He was born Ma He to a Muslim family of Kunyang, Kunming, Yunnan, China.
What is Zheng He's religion?
The Liujiagang and Changle inscriptions suggest that Zheng He's devotion to Tianfei (the patron goddess of sailors and seafarers) was the dominant faith to which he adhered.

Question: When did the Ming Army invade?
Self-contained rewrite: When did the Ming Army invade?