My guess is that eBay has this redundancy because back when PR wasn’t a
US territory, ebay only had PR listed as international. And when it
became a US territory, in 1917, ebay added the option for PR as domestic
and forgot to remove it from internat...
