Ideas of War: Carl von Clausewitz and the Battle of Okinawa