There’s no record of an actor being killed by a shark in Hawaii recently. Such incidents would usually be widely reported if they happened.