Meh. We call the Russian Federation "Russia", the French Republic "France", the Kingdom of Morocco "Morocco", and the "Republic of Korea" South Korea. It's hardly unique, and no one else seems to mind.