Pork chops with mustard. Grilled pork chops seasoned with mustard and served with chopped gherkins (US: dill pickles).