Text this: The Jacking of a concrete pipe through dry running sand.