Pork Tenderloin in Red Wine Sauce with Garlic Mashed Potatoes