The video ends before the shark is shown swimming away, making his fate all but uncertain. As adults, whale sharks grow to be massive, and can measure up to 33 feet long. This one was likely only a juvenile.
The divers have since been identified and arrested for the incident. It’s not yet clear what penalties they could face.
Cassandra Tania, marine species officer at WWF Indonesia, told the Jakarta Post that the tour guide’s lack of interference during the incident was very concerning.