How long did the American Revolutionary War last?