Ten mysteries of Chinese emperors' tombs(9)

Xiaoling Tomb of the Ming Dynasty is the mausoleum of the first emperor of the Ming Dynasty, and one of the world largest emperor's tombs as well. But there isn't a recognized viewpoint about whether Zhu Yuanzhang was buried in it.