medium yellow onion, finely chopped