â½ large yellow onion finely chopped

Pork Tenderloin and Pinto Bean Chili