a 42" water main line while underwater

});