Dancing with Turtles?

The Green Turtle is fairly com­mon just off the shore of the condo we’re stay­ing at in Maui, but I had yet to see one when snorkel­ing — you can see plenty from the shore as they feed along the reef. Then I went out snorkel­ing yes­ter­day, and toward the end stumbled across this: