Collaborations between John Williams and Dick Shawn