Tenderloin steak with garlic sauce and mashed potatoes