So, two ways to do this to decide Red's new name.

1. Two Separate Polls of ten names each, then another poll between the two winners


2. One single poll of 20 names with everybody getting more than one choice