Dokdo, the Korean Area