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.