At the time , workers were cleaning pipes with water .
At the time , workers were cleaning out pipes with water .