John William Allen — lawyer and politician from Ohio