Congress appropriated $15 billion to replace lead pipes across the country. Is the Trump administration withholding it?