Studio producers Richard D. Who wrote the 'Jaws' book?