Pork chops (Spanish style)