Luck’s Pinto Beans With Onion Seasoned with Pork