questioning whether Trump should continue as the party’s main figurehead and leader. Florida governor Ron DeSantis, who won reelection in a historic landslide and was considered by many analysts as the midterms' biggest winner, was the most frequently discussed name as the future party leader. Name and symbols The party's founding members chose the name Republican Party in the mid-1850s as homage to the values of republicanism promoted by Thomas Jefferson's Democratic-Republican Party. The idea for the name came from an editorial by the party's leading publicist, Horace Greeley, who called for "some simple name like 'Republican' [that] would more fitly designate those who had united to restore the Union to its true mission of champion and promulgator of Liberty rather than propagandist of slavery". The name reflects the 1776 republican values of civic virtue and opposition to aristocracy and corruption. It is important to note that "republican" has a variety of meanings around the world, and the Republican Party has evolved such that the meanings no longer always align. The term "Grand Old Party" is a traditional nickname for the Republican Party, and the abbreviation "GOP" is a commonly used designation. The term originated in 1875 in the Congressional Record, referring to the party associated with the successful military defense of the Union as "this gallant old party". The following year in an article in the Cincinnati Commercial, the term was modified to "grand old party". The first use of the abbreviation is dated 1884. The traditional mascot of the party is the elephant. A political cartoon by Thomas Nast, published in Harper's Weekly on November 7, 1874, is considered the first important use of the symbol. An alternate symbol of the Republican Party in states such as Indiana, New York and Ohio is the bald eagle as opposed to the Democratic rooster or the Democratic five-pointed star. In Kentucky, the log cabin is a symbol of the Republican Party (not related to the gay Log Cabin Republicans organization). Traditionally the party had no consistent color identity. After the 2000 election, the color red became associated with Republicans. During and after the election, the major broadcast networks used the same color scheme for the electoral map: states won by Republican nominee George W. Bush were colored red and states won by Democratic nominee Al Gore were colored blue. Due to the weeks-long dispute over the election results, these color