2 tablespoons extra-virgin olive oil; 1 medium yellow onion (about 7 ounces), diced; 1 1/2 teaspoons ground coriander; 1 teaspoon fine salt, plus more to taste ...