Hall, John F., of Lawton, Ok.