what disney cartoon character's middle name is fauntleroy