How many people died in the invasion of the Shuri Castle?