What did Robert e lee have to do with the civil war