If they were only carrying 30k they would have not had to declare anything. In my experience, about 99.9% of immigrants and refugees are aware of the 10k declaration. It is normally US citizens who are not up on the regs.