Wildlife Spotting

This fish was spotted on the local market by my dad. The people in the market are unfamiliar with the fish, but my dad is not. He said he saw a fish like this many years ago in the river and thought that it was extinct. He said the local name of this fish is "mangipin". I appreciate if anyone can identify this fish. :)