J. Lewis Diman — American historian