Marinade for vietnamese grilled pork