What battle ended robert e lee's invation of the north?