The JAWS shark is public domain