Marinated and Grilled Pork Tenderloin