If Trump is not re-elected President, how many lawful permanent residents will reside in the US on January 1, 2022?