small red onion, finely chopped