Banh Mi With Grilled Pork