The Florida Orange was NEVER the Florida Orange to begin with.

Of note from the story: "...because it came from China, where oranges also came from in the first place." Technically yes but also no, what we have for the modern navel orange came from a mutation that happened in Brazil in the 1800s - 200 years after its introduction from China. The parent trees for literally the entire navel orange (aka Florida aka Sunkist orange) industry are in Riverside, CA, I see them every day driving to work. The now-deceased Queen of England used to get two boxes of oranges from those very trees every year.