Marinated pork tenderloin with roasted red peppers and potato puree