red onion, finely chopped (about ½ cup)