How many people died in the revolutionary war