How big were the largest ships that actually participated in Zheng He’s expeditions? Given the number of places he actually visited, there should be plenty of eyewitnesses, right? So is there a consensus on the size of those “treasure ships?”