how big is mandingo