medium red onion, thinly sliced