Use a potato ricer (affiliate link) which is like a jumbo garlic press. As an alternative, the cooked potatoes can be grated.