Did red tide kill a 26-foot long whale shark in Florida?

What killed a 26-foot whale shark that washed up in southwest Florida?