when did the american war of independence end