Photos: Red tide found in whale shark that washed up on Sanibel beach