Instant Pot Garlic Red-Skinned Mashed Potatoes