Which document officially ended the Revolutionary War?