Why is South Korea called the Republic of Korea?

The official name for both South Korea and North Korea is the Republic of Korea. The United States and South Korea have a history of using South Korea as the short form to distinguish the two Koreas.