What is the name of an F5 tornado?

Tornadoes are not given names as hurricanes are, but they are typically referred to by where they hit.

Some notable F5* tornadoes include:

The Tri-State tornado of March 18, 1925

The Flint, Michigan tornado of June 8, 1953

The Xenia, Ohio tornado of April 3, 1974

The Bridge Creek/Moore, Oklahoma tornado of May 3, 1999

The Hackleburg, Alabama tornado of April 27, 2011

The Joplin, Missouri tornado of May 22, 2011

The Moore, Oklahoma tornado of May 20, 2013

*Tornadoes in the U.S. from February 2007 onwards are rated on the "EF" scale, but for all intents and purposes EF5 is the same as F5.