Trump, asked about deporting Musk, says he’d “have to look into it