That's up to them, I think. There's precedent for countries changing their official English names.
See Czech Republic -> Czechia and Turkey -> Turkiye
That's up to them, I think. There's precedent for countries changing their official English names.
See Czech Republic -> Czechia and Turkey -> Turkiye