Diamond Prospecting in Virginia and West Virginia: Origin of the Punch Jones Diamond Found and Theory of Diamond Formation