Trump still isn’t deporting as many immigrants as Obama did