Spanish pork with tomato sauce