Cooking Small Pork Tenderloins