Fire and Flooding in Los Alamos: Pipe Ramming Provides a Solution