Pipe ramming (American Society of Civil Engineers, 2020)