Diner Nachos With Pulled Pork