House Dems introduce law to name Miami prison after Trump