Jerked Pork Tenderloin

A slightly spicy jerk-rubbed pork tenderloin, grilled and served with sweet potato-pineapple mash and steamed green beans.