On what date did the American Revolutionary War end?