Menjadi Nama Sejumlah Masjid, Benarkah Cheng Ho Seorang Muslim?