The Mannington oil field and the history of its development: Fossil plants from the Wichita or Permian beds of Texas.