Ginger Grilled Pork Tenderloin