Lee and Longstreet at high tide; Gettysburg in the light of the official records