Feature films starring Jack Vaughan