Robert E. Lee's First War: His Army Service in Texas and Mexico 1846-1848