House Dems want $3.8 billion back from border wall funds