I have no idea whether he is a citizen, legal immigrant or illegal alien. But he is being called Michael, not Miguel. Lots of people with Spanish surnames are native-born US citizens. Lots of Puerto Ricans in the NYC area who are citizens by birth.
Well never seen any Leftists who deserve to remain among the living...