the muppets in Jaws (1975)