small yellow onion, finely minced