“Between 1990 and 2017, the U.S. government filed an average of 11 denaturalization cases per year.”