Mashed Red-Skinned Potatoes