Pork tenderloin tomato sauce baked