Glazed Pork Tenderloin with Mashed