Countries can, and sometimes do, change their names.