See also The Wall Street Journal: Immigrants in Trump-led naturalization ceremony didn’t know they would be part of RNC