“Korea” under the section “East Asia After World War II”