Cuban pork chop marinade