red onion, finely chopped