Bob:
I also have to wonder if she kept her US citizenship or is she a citizen of Australia.
She can have both since she was born in the US.
My cousin's children have both because their parents have US citizenship because they were born here. The children were born in Australia, though.
Artemis