What’s in a name? The origin of Sea Spitfires.