How common and/or documented were sharks and shark attacks in the 19th and really early 20th centuries? Did navies and trading companies have protocols for dealing with sharks if a vessel sunk?