George Petrie - American scholar and educator, American football coach (1866-1947)