The official name of the country is the Republic of Korea. However, it’s common to drop descriptors such as “Republic of” from country names, leaving only “Korea”. South Korea is an informal name, used only when it’s necessary to disambiguate from North Korea (officially, the Democratic People’s Republic of Korea), which in this case, it isn’t.