Jocky Petrie may refer to: