#9 Shredded Pork Banh Mi