You know that. I know that. The authors probably knew it also but chose to use it as a cudgel against the Trump administration anyway.
If he has traveled to the no fly countries, he’s also on the list. Post 9/11 Airlines must provide worldwide passenger manifests or they lose USA landing privileges.