It's Shrimp Season in Panama

Do you know how to devein shrimp?