He was John HK. Absolute 100% certainty.
Have been watching for his return under a third name and haven’t seen it yet.