The 8th Day of Thanksgiving: garlic mashed potatoes