finely diced red onion, about 1/4 large red onion