size of mandingo