Yellow-bellied Sea Snake (Pelamis platurus), Costa Rica