Yup, we get plenty of banded sea kraits here. Just dive in the Caribbean you'll see enough lionfish to keep you happy for a lifetime, they've taken over the water there. When I was in Cuba I got bored of seeing them.