A quick, flavorful pickled red onion recipe