(It's quite common for people and their families to immigrate to the US through US military service, and pursue citizenship that way)

https://apnews.com/article/army-air-force-recruiting-shortfall-immigrants-citizenship-2cd690352210606945010d1800c5bdbe

And, edit, the courts denied his citizenship earlier (i.e. not under Trump)
https://law.justia.com/cases/federal/appellate-courts/ca5/14-60297/14-60297-2015-08-25.html