Football as a war game: The annotated journals of General R.R. Neyland