US to move 9,000 marines out of Japan