I mean, it’s something anyone can Google, and the owners of the Ft Lauderdale restaurant should have, but mahi-mahi is also called dolphinfish. Because it sorta kinda looks like a dolphin? A little? First time I saw it on a menu, I thought, “Hey, they named a kind of fish after a dolphin,” but, I mean, it’s not just…

It was kind of the Koreans to provide the author with the opportunity to assert superiority.