What marked the official end to the American Revolution?