finely chopped white or red onion, from 1 onion