How many Japanese troops defended Okinawa?