north korea is part of korea