Shredded Pork Chili With Pinto Beans Green Chilies