Ocean atlas of Korea : east sea. (National Oceanographic Research Institute, 2007)