närvarande befinna sig 9,000 man japansk militär i Korea.