Sea snake killed 4 teens in 1962 - any clue on what species?

[Jrvis1999]

I vividly remember watching a documentary that featured a historical sea snake attack, just off the coast of Pensacola, which is where I used to live.

In the early sixties in Pensacola, five boys, aged between 14 and 17 set out on a raft to explore the shipwreck of the USS Massachusetts, located about a mile out to sea. On the way there, the five boys spotted a brownish green sea snake and they panicked. They attempted to swim to the USS Massachusetts, but the sea snake began to chase them, McClure said.

The boy said that from behind he heard his friends screaming that the snake had bit them, followed by silence. He said it took hours for him to swim to shore as the water was rough, and this sea snake was still chasing them down. One of his friends was swimming in front of him when he saw the snake lunge at him and bite him, and then he saw his friend go under.

That was the boy's testimony anyhow. Are venomous sea snakes normally that aggressive? He (the McClure boy) said that it was a large sea snake about twelve feet long. He said it was a brownish green color, had green eyes with 'oval pupils' and had teeth. He said that the head 'resembled that of a sea turtle except more elongated and with teeth'.

McClure himself died a few years ago, but he was active on internet forums, where he was requesting to members of those forums to identify the species of sea snake that killed his friends when he was a teenager.