Rosemary-Skewered Pork Tenderloin*