House Dems introduce measure to revoke president’s border edict