If he has Australian citizenship and an Australian passport, it is reasonable to assume that he is travelling on that passport. The fact that he may be ineligible to renew his U.S. passport does not mean that he will also be denied the right to travel in and out of the United States on a valid Australian passport.

