Extent of Japanese claim at Dokdo