Maybe...
Sea Lice....that's what we call them here on the Tx coast
There not mantis but similar . I live in Asia. The steel and iron were not little flakes. I'm pretty sure they were dumped on the main swimming spots.
Sea Lice....that's what we call them here on the Tx coast