Baked Tenderloin Pork