Surprisingly, Indonesia’s most famous dive site is also a playground for whales and dolphins (commentary)