That's wild. If that becomes a recurring problem they should really think about putting some nets up or something. I guess they prefer warmer water, I haven't seen any sharks or seen anyone pull one out from a pier in awhile.
Sharks scare me a lot more than jellyfish. I did get stung by something on the foot last summer--I think it was one of those moon jellyfish because I'd been seeing them washed up on the beach. The sting felt like a bee sting, and the pain, which wasn't much to start with, was gone in an hour or two. Even a Portuguese Man o'War isn't as lethal as a shark.