I lived in Miami for the first 40 years of my life, before work and the rest of my life lured me to California. Mahi mahi was so plentiful you could buy a couple of pounds for about $7. Before we got all PC, it was called dolphin fish, or simply dolphin. Tourists were frequently indignant that we were eating dolphin the mammal; it seemed we were always explaining that "this isn't Flipper" to someone who meant well. Eventually, we stopped calling it dolphin and started calling it mahi mahi, which sounds so exotic that the price had to go up. Mahi in the Bay area is usually well over $12 a pound so I rarely buy it.
This one was so good, but more importantly versatile, that it's going into the rotation. If you'd like to try it, you'll find the recipe here.