Admiral Zheng, Chinese leader who spread Islam across Southeast Asia