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.
FWIW, "navel" oranges are grown for eating, not for juice. People prefer them because they are easy to peel and they don't have seeds.
Juice oranges have a tougher, thinner rind that doesn't peel easily, and they have seeds. But they have better taste and more juice than navel oranges.
You got a bad/dry one. Happens all the time with home grown and less frequently with commercial products. My backyard trees have improved, but only with fairly intensive upkeep.
The flavor coming right off the tree can be truly candy-like given optimal conditions. After tasting the best ones from my own tree, I had the revelation that so many things that are "orange flavored" are mimicking navels specifically.
Makes the disease even more confounding, as one would assume that orange trees evolved alongside it. Normally invasives are destructive because the species has never seen it before.
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.