Grilled pork tenderloin and hoisin sauce