Grilled Pork Tenderloin with Cilantro Mint Marinade and Garden Picked Vegetables