Pork tenderloin with red curry peanut sauce

I would have preferred this with chicken, actually, but it was pork’s turn in the rotation, so hands tied.