Why does this wild whale shark have orange on its snout?

I tried to have a google around but I couldn’t really find anything. Is this some sort of algae? Or maybe weird scarring from an old injury?

Edit:
I just want to thank everyone who responded to this post and I hope you all have a good rest of your day!