This may help
'The New York City Department of Health requires that pork be cooked to an internal temperature of 155 degrees F for a minimum of 15 seconds. So if your pink tenderloin has met that, it should be all right. Yes, pinkish pork can take some getting used to -- old taboos die hard -- but it can be just fine.'