Quick-Pickled Red Onions