Three contractors complete long bore through hard rock to finish suburban Washington DC water pipeline