If there is no TSA record, then maybe it's time to suspect Arkancide.
Of course all major air transport hubs share information with the TSA too. I'm sure that President Trump has a rough idea of where Halper is.
Phone location?
Facial recog?
Friends, relatives, confederates?
Visitor log to Fort Marcy Park?