What do you call a good swimming pun?

A stroke of genius