history | mangum-ok