沖縄海兵隊の8000削減はどうなった?