How many people serves 10 pounds of mashed potatoes