Pork Tenderloin (in a soy sherry marinade)