[Liz]

Nobody would eat dolphin-——thinking of the cute TV performer——”Flipper.”

So they renamed it Mahi Mahi———on almost every menu of note

[octex]

Mahi Mahi is another name for a Dolphin Fish, which is totally different from “Flipper” the Dolphin.