As far as US law is concerned, no, he did not have to make an election. We recognize dual nationality
Ok, thanks.