How many mashed potatoes for 20 people