Pork tenderloin in green pepper sauce