Shark attacks fisherman in Key West