John Edward Allen may be: