Who pays more taxes, undocumented immigrants or Trump?