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