Antonio came to the United States in F-2 immigration status with his wife on July 15, 2019. He has not changed his immigration status. For 2023 federal income tax purposes, Antonio is a:
a) Nonresident alien
b) Resident alien
c) Dual-status alien
d) Undocumented immigrant